Fix a syntax error from last commit