Bugfix in RESOLVE_HISTORY
Fixed bug in eval.