fix genF in tde