Fixes #2833 — document bound comparator woes in the appropriate spot.