Fix a few stylistic errors