AUTHORS: updated authors file.