Fix a bunch of minor bugs in doc Sphinx formatting