changed specs2pml.pl