fix minor hyperref bugs