I am glad it worked out, for future reference the tail would of healed on its own, just with time. My dats go threw it all the time, aggression is high the big guys have split tails, when the tank is mellow all the fish are fine.
I have seen this method used with Asian Aros in regard to gill plate curl, they just trim the curl and it grows back to normal.