typo
(#524)