fixed name for tex docs