typo
(#526)