Yep. Mash ‘em down or file them off. It typically doesn’t make that much of a difference in your fishing results unless you’re going after giant fish.