Oh yes, moving it out/up was definitely required for correctness.  I just meant the duplicate move where the local header's record will by definition be staying in the same place.