Added missing file headers.