Fixing commit 50237af2.

Indeed, generalized binders are unnamed, because their name is generated on the
fly.