Correct filename in header.