Fixed the AUTHORS.txt file