Mint extract is the best way to add a significant minty flavor boost, but you can also use peppermint oil, or skip it for a subtler mint flavor.