Fix typo in case 87

(Thanks, Alessandro!)