HALTeX fix in pstyle.