Fri, 16 Nov 2007 13:47:41 +0100Small fix to previous commit.
mario [Fri, 16 Nov 2007 13:47:41 +0100] rev 92
Small fix to previous commit.