Remove a header that ended up not being used.