New wording seems to avoid describing non-member functions by accessing would-be private/protected data members, so it seems reasonable to update [reverse.iter.nonmember] to use .base() instead of .current. In fact, you'll notice that the return type of the first function uses .base().