Add missing names in AUTHORS