minor typos
(#380)