Fix bug introduced by pull request #273: C-c C-z no longer selects the repl buffer.