Fix a mysterious syntax error