Fix syntax errors introduced in previous commits