Some compliance updates to make the paper also render correctly to dvi.