Added missing file headers