Add some code comments about why we do the extra checks.