this comment should clarify that "no top level node" is the case *if* NoNodeException