HALTeX fix in pstyle regexps.