Fix user_lookup for the general case (ie allow >100 users)