typo
(#488)