Fix instructions to better match the REPL interaction