How to repair problem with bad pagination

I found that in SQL Search (Trip_search) is error in pagination.
Error is in function trip_search_page().
There is two places wrong used variable $max which have be changed to variable_get('trip_search_max', 10).

bad pagination:

line 223:
$results = array_slice($results, $from, $max);
line 236:
if ($pager = theme('pager', NULL, $max, 0, array('keys' => urlencode($raw_keys)))) {

And to repair this problem you can change variable $max to variable_get('trip_search_max', 10):

line 223:
$results = array_slice($results, $from, variable_get('trip_search_max', 10));
line 236:
if ($pager = theme('pager', NULL, variable_get('trip_search_max', 10), 0, array('keys' => urlencode($raw_keys)))) {