Fix REPL description in the README