Fix syntax error from 5eae77c