Minor formatting changes for REPL.