Fix a typo and some inconsistent whitespace