Fix a syntax error introduced in 5efe0cb2f927a7f5a00ebe50d97c6b97dfd1e357