Dmitry Sivachenko Sun, 09 Apr 2000 00:52:28 -0700
I forgot to mention, that I observed this problem when making a dvi file. --dima
