Fix #3579: avoid clashing with names of implicit bindings