typos
(#461)