  We give a proof of Theorem 2.10 from [8] that eliminates the use of Shelah's
nice filters and associated rank functions, and instead uses only the
well-foundedness of reduced products of ordinals modulo countably complete
filters. This removes any need to make assumptions about the existence of large
cardinals in core models.
