Small improvements to the REPL.