How much of the tip was bent? 1mm? Can't be much if just sharpening it fixed it.