How strange. But, if he's feeling OK, I wouldn't worry too much. Maybe you should just keep and eye on it and when it grows back trim it.

Give Mini a kiss from me!