Correct use of TzController in generated files