Fix a few formatting mistakes