correction of a bug that led to not having the <pnml>...</pnml> tags in the output PNML