Yeah, a larger patch was kinda what I was figuring also, but in my haste to patch this when it happened (it was cold and I was worried that the gash would allow water to start washing sand out from under the cut, and also really frustrated 😄), I cut the patch larger than I really needed, so...