Fix typo in REPL JS