Add some missing file headers