Actually remove the 'menu' parameter from the call to get_prompt_string