update: minor fixes before merging to main

app/lib/server_requests/init_state.dart

@@ -48,7 +48,7 @@ Future<void> initSearchOptions() async {
       ..badCertificateCallback = // NB: temporary disable SSL certificate validation
           (X509Certificate cert, String host, int port) => true;
 
-    var request = await client.getUrl(Uri.parse('$serverURI/get_lake_names'));
+    var request = await client.getUrl(Uri.parse('${serverURI}get_lake_names'));
     var response = await request.close();
 
     if (response.statusCode == 200) {

app/lib/utils/custom_search_delegate.dart

@@ -69,9 +69,16 @@ class CustomSearchDelegate extends SearchDelegate {
       itemCount: searchResults.length,
       itemBuilder: (context, index) {
         var result = searchResults[index];
-        return ListTile(
-          title: Text(result),
-        );
+        if  (searchResults.isNotEmpty) {
+          return ListTile(
+            title: Text(result),
+          );
+        }
+        else {
+          return const ListTile(
+            title: Text("No matches found"),
+          );
+        }
       },
     );
   }