An unused header is removed.