corrected minor bug in the display of help