typo
(#555)