Fixed a tiny mistake causing bad duplicates in prereqs.