small fix in AUTHORS'