Add @ivan to AUTHORS.