typo
(#420)