Updated REPL