These lines could do with a comment explaining why they are in this position in the file. (And hence when they might be able to be folded back into the normal section.)