Nothing, you dont have to do anything.. You can remove the coral if you dont want it in there or you can purchse something else for them to host in.
Think of it as your fishes body reacting to the sting; the skin gets a darker pigment.
Your fish are not contagious nor do they have a disease.
If your worried about them dying I have never seen it.
So, enjoy them =)