minor bug fix in help