- # prepend best match, replace unless duplicate
- array_unshift($results, key($ls));
- $results = array_unique($results);
- array_splice($results, $limit);
+if (isset($Place['verbose'])) {
+ printf("<p>%s gevonden voor <q>%s</q>:</p>\n",
+ $results ? count($results).' resultaten' : 'Niets',
+ htmlspecialchars($query)
+ );