Filled in AUTHORS file