Fix another REPL issue

See #66