Fix issue where Sphinx shell always opened