Add some missing file headers.