Yeh - it's a pain in the arse.
However, there are tools out there that will get rid of it.
I can never remember if it's fixvundo or vundofix that's more effective.
Google for both and give them a try.
Snob? Were I a snob, I wouldn't be talking to you.