Fixing instructions for starting the repl