Update REPL example in README.