I think these headers are unused.