I'm using the user_search module and in its settings you can set the "Users per page". I've set this to 5 and when doing a specific search which returns 10 results, all I see is the first page of 5 results. No links appear at the bottom to move through the paged results. Should this happen automatically?

I think I've worked out that the following function is responsible for paging the results:

function user_search_process($key_list, $username, $operators_list, $url_keys) {

    $query = _user_search_sql_values($query);
    $query = _user_search_sql_source($query);
    $query = _user_search_sql_condition($query, $key_list, $operators_list, $username);

    if ( empty($query['data']) ) {
    } else {
        $results = pager_query($query['sql'], variable_get('user_search_pagination', 5), 0, NULL, $query['data'] );
    }
    $found = user_search_results($results);
    $output .= theme('user_search_results', $found);
    $output .= theme('pager', NULL, variable_get('user_search_pagination', 5), 0, $url_keys);

    return $output;
}

Is the pager_query function meant to create the links to the various pages of results? If not, how should this be achieved?