oops didn't realize html could be totally cool if you miss a /dvi