a few more fixes to TexGen