Remove some extra debugging statements and reset prompter