Fix #214: correct typo