fix typo/bug in PrintNodeConverter