typos
(#350)