Fix a code standard issue