Add Benjamin to AUTHORS