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