Fix build without INVARIANTS, broken by r274675.