Fix REPL instructions