Simplify ghci prompt.