No ticket. Update AUTHORS.txt.