I think that is probably right either way. Certainly not worth a rebased commit to fix.