minor formatting fix

This commit is contained in:
hns 2002-06-11 15:53:32 +00:00
parent e9ec59ca21
commit 6c32d0f073