Fix a bunch of documentation formatting.