It will probably go away if he has a good shed, if not, keep an eye on it, if it gets worse it could be scale rot.