-v was broken by 3005. There is a fix which I got on a disk. I don't like -v because it uses an eeeny weeny font instead of the nice robust font that usually get. -- Benson I. Margulies