Fix a minor style error.