minor change in specs2pml.pl