make dotPrinter not miss a node (major bug); fix output in error conditions in the dot parser