Fix typo in prompt_number lines in last commit