Just change his name to stubby.

If you see no distress then I would not worry much right now. I would however keep an eye on it to make sure someone in the tank is not picking at him.