Fix a code style