We no longer use this header.