Fix syntax nits