Issue #2803: correct a mistake in AUTHORS.txt