clarifications in phpdoc of Node::getNodeNames