In my opinion, unless he is scratching, swimming abnormally, has white specs, excess mucus or anything else that characterises imminent danger, my advice is this: First do no harm.
Wait it out and see if it persists or gets worse. Keep the fish on close observation.