Fix syntax bug