Erratum: The Mechanization of Natural Philosophy