In the previous review comments above @bobsilverberg suggested removing this header since there is no source, and I agreed.