remove a superfluous eta-expansion