jeffd
committed
on 20 Sep 02
fixes bug 1731/patch 442 Tilman Singer