Fix typo in nested cons/e unfair proof