Bug: regions are reinserted in the wrong order because of a bug in
firstHeaderAfter