Fix on cycle witnesses.