Fix a small typo in Termops.eta_reduce_head.