Added to AUTHORS.