typos
(#535)