Fix a second, trickier, typo in Termops.eta_reduce_head.