minor adjustment to javascript user_list description