typo
(#535)