Fix the formatting in the targeting code generator.

(And update generated files accordingly)