updated behavior of REPL