dedsc
committed
on 23 Jul 04
Resolves bug #2026.