Another tweak to prereq_ann.