Fix #354: correct typo