This preamble should be omitted. We've been removing it from files in an ad-hoc manner so far. It might be time to put concerted effort in cleaning the remaining occurrences up.