better prompt for REPL