3.16: correct typo