minor tweak to sphinx.conf