donb
committed
on 26 May 04
Minor cosmetic change vs. 1858