I wouldnt worry too much. I have one of those and they are really cool. If he is still eating and acting normal than it should be fine. My tiger shovelnose got a big gash on his head from a decoration and it healed up fine.
I think he was just an odd one because my others were good they actually got beat up by this one so I traded those 2 in, thinking that since he was buy him self now he would be fine.... but I was wrong though he was good for a while...