If they have been modified, which they have, you should change the header and document this accordingly in the AUTHORS file.