typo
(#426)