Removed Binder from the renaming of variables.