dedsc
committed
on 23 Dec 04
fixes bug #2173