Addition to AUTHORS