update on REPL