tiny bugfix in help text