Fix a syntax