Change astroNoVerif assertion.