fixed minor issues in dvi