Fixed a PNML label parser's bug.