I have seen this with multiple snakes. Looks to me just like he was rubbing it up against something one to many times. As others have said it will heal fine with the next shed so there is absolutely no need to take him/her to a vet.