marka
committed
on 14 Nov 03
Applied Lars' fix for bug #1141 from HEAD