fix REPL session format