Texturing: some faces are not handled correctly

If time isn’t a factor, the value could be even higher since it shouldn’t do any harm apart from wasting some space in the texture map…