AUTHORS: name added