Also reproducible without extending Invalidating (plus tiny comment change)