Another lost comment from the header.