typo
(#581)