fixup! documentation for the ANY operator