Fix a style issue