Actually I saw some of these 'errors' in the latest Tomb Raider game too. I guess they would have fixed it when they would have had some more time, because overall the texturing is correct.
You're right though, when you're playing a game you might not even notice this, so perhaps it's not that important to fix.
