fixed a missing linefeed to clean up output of options
Authored by: mikebern 2001-02-18
Parent: [r305]
Child: [r307]
