I think it was probably the best thing to do. No kitties will have to suffer, and it won't be passed on outside of the shelter. Poor kitties never got a home...