encoding (minor): Fix typo in doc comment for DerNode::getChildren.