As was said, the "docking" is quite normal for a cat with a badly injured tail. They often adjust faster than you'd think, too. It's so good the vet was agreeable, and that Kitty-Dude will get the care he needs!