Fix header-display bug where only the header from the first file was
displayed.