Too bad about your orange spot. I don't think of them as jumpers. Maybe he was being chased by those pesky damsels.
Just keep an eye on all the fish. If they start to develop more white spots (about the size of a ballpoint pen tip) then you might want to consider treating the tank with Kick Ick. Do you have any cleaner shrimp in the tank? Those can help the tank to treat itself and allow the fish to recover on their own. Another good tactic is to start adding a little garlic juice or extract to their food. That is thought to boost the fishes immune system.
Good luck, Nate