Fix syntax bugs