Some additions to AUTHORS.