Quick search results with non-latin Locations

Hi.
I found a problem with the "quick search". Incorrectly displays the location, if it contains non-Latin characters.
This is because the function htmlentities () in PHP versions < 5.4.0 uses ISO-8859-1.
For me, the problem was resolved manually specifying UTF-8 encoding in ajax_search.php, line 73:

-            <br /> '.highlight_search(htmlentities($result['location'], 0)).' | '.$num_ports.' ports</small>

+            <br /> '.highlight_search(htmlentities($result['location'], 0, 'UTF-8')).' | '.$num_ports.' ports</small>