Man... PDF is such an unfortunate file format.