Pickup some krud kutter, and he won't make this mistake twice. It's really good at cleaning up urine stains. IME am a cat owner.

I even use it in my ultrasonic cleaner, and if I have greasy clothes, a small bit goes into the wash with the clothes.