Some temporary tweaks to prompts for ASCII terminals. I will redo this later.