Made the repl terminate by EOF (thanks yhamigaki!)