I suggest the following patch to dvipsk 5.95a as distributed with tetex-3.0 Looks good to me. Unless Tom sees a problem, I'll install it shortly. Thanks!