That won't work properly, since now we support multiple REPL buffers.