Fix a few tiny formatting things to make the PR look better