Fix a syntax issue