typos
(#467)