Fix a minor style issue