Clarify construction of invalidation path