Modified the way citations are recorded in the margin, should be more
robust at preventing duplicate citations on the same page.