fix type in help-file