typo
(#548)