Fix a code style issue