Fix syntax error introduced in last commit