fix a couple of bugs in UnopenedNamespaceResolver