Correct generation of Tempest config