Took note of repl.open() bug; fixes #280.