typo
(#563)