A Revision of the Proof of the Kepler Conjecture