lars
committed
on 13 Feb 03
Fixed bug #232, my last merge contained #...# instead of literal words