fixed minor bug with user_languages in help documents