An unused header is not included.