You can handle a mistake in several different ways. Choose the one that yields the most for you.
Time to sharpen again. Not because I've been using so many of my tools and made them dull. No, it's our summer break now...