fix yet another bug in the new 2.5 .sty file for PT