fix to users_are_now_in_range in UserPool
this should be with previous commit