. " If a distribution is paid in any currency other than United States dollars," . . .