Koch föreslog en obetydlig redaktionsförändring.