some renaming in eval