Correcting a DCHECK.