Fix #6 which locked up the REPL