Rather you should say that the application program (dvips or whoever) incorrectly treats the information as global rather than local. Indeed. It seems clear we should fix this in dvips. Best, Karl