Thanks Nicolas,

I'd like to test your fix but I'm a github newbie (*).  Where did you check it in?  I don't know if it's melpa or elpa, or if the fix is in a personal account or something official.  Is there a standard way everybody contributes their fixes?

Scott

(*) For the same reason, I still haven't been able to test the other dvips customization fix you recently made.