I have done this alot and have ended up having to sort of "blend in" the tip area of the knife to the sharpness of the rest of the blade edge afterwards. I would use a pocket-size diamond rod sharpener to see if I could get away with as little damage to the edge as I could if it just requires a little touching up.