Fix syntax error introduced during last commit