correct filename in the header