Minor updates to the dvi2rgb user guide