Fix silly bug with eta-expansion.