Assume that there is no transitive class model of ZFC with a Woodin cardinal. Let nu be a singular ordinal such that nu > omega(2) and cf(nu) < |nu|. Suppose nu is a regular cardinal in K. Then nu is a measurable cardinal in K. Moreover, if cf(nu) > omega, then o(K )(nu) >= cf(nu).