Last round of header fixes
Forgot one, now all the files have headers.