Nit picking

A uniformly unimportant collection of syntactic changes.