assorted really minor typos and such
(#352)