typos
(#364)