Fixed a failing spec because of DEBUG_RESOLVER_TREE