add missing name to AUTHORS