Fix bug in pull_number()