Fix a typo and two style-checker errors.