Fixed PNML tests.