Fix REPL