bartt
committed
on 23 Sep 02
Fix for bug 1724.