[polari] networksManager: Fix JavaScript warning

[Florian Müllner <fmuellner src gnome org>]

commit aed63cbb3505ade76945d7a1d81e45477e17e150
Author: Bloomraptor <bloomraptor protonmail com>
Date:   Tue Feb 5 12:43:39 2019 +0000

    networksManager: Fix JavaScript warning

 src/networksManager.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/src/networksManager.js b/src/networksManager.js
index fd77d7c..be3009c 100644
--- a/src/networksManager.js
+++ b/src/networksManager.js
@@ -99,8 +99,9 @@ var NetworksManager = class {
 
     getNetworkMatchTerms(id) {
         let network = this._lookupNetwork(id);
-        let terms = [network.name, network.id, ...network.servers];
-        return terms.map(String.toLowerCase);
+        let servers = network.servers.map(s => s.address);
+        let terms = [network.name, network.id, ...servers];
+        return terms.map(t => t.toLowerCase());
     }
 
     findByServer(server) {