Fix some file headers.