add REPL instructions