Fix a typo and coding style of a previous commit. No functional change.