fixed conceptual error in defining CDF