encoding (minor): In DerNode, fix typo in comment.