simple whitespace edits in an attempt to get the public/anonymous CVS server up to date (it's 48+ hours behind)
Authored by: sms00 2003-10-02
Parent: [r1951]
Child: [r1953]
