Patch looks OK to me, but it's small enough to inline.