Fix typo in 7960dfe