Patch looks fine. Can be merged.