Small fix up to prompt, so that it works in tty