(est-eval-unit): Fix bug about `name-url'; modify for