Minor Sphinx fixups