bug fix in helpfile