compilation fix for tex