Fix to close right buffer with :CoqQuit
Merge pull request #1 from kaorimatz/patch-1

Fix to close right buffer with :CoqQuit