REPL updated