Edit the DVI documentation a bit