lars
committed
on 25 Sep 03
Another bug #829-style fix