One more raw_input found in the wild!