fixed an odd bug with symbol resolution in the tests