diff --git a/package.json b/package.json
index e01fdc0c0a411f31a4e02ce76f9a070b502d2b2f..b879faff8097ad5330a91a9649f45f0955f5446b 100644
--- a/package.json
+++ b/package.json
@@ -1,7 +1,7 @@
 {
 	"name": "b-language-extension",
 	"displayName": "B/ProB Language Support",
-	"description": "Compiler and language support for B and via ProB",
+	"description": "Compiler and language support for B via ProB",
 	"version": "0.6.8",
 	"publisher": "SeeBasTStick",
 	"icon": "media/prob2-ui.png",
diff --git a/server/src/server.ts b/server/src/server.ts
index f8a5081d172c8cc6b7ec497e5b170f60002ea448..ff9fc48faa3ea84e41531c3bd927a21df390e116 100644
--- a/server/src/server.ts
+++ b/server/src/server.ts
@@ -22,9 +22,6 @@ import * as fs from 'fs';
 import { NDJSON, readErrors, matchErrors, buildErrors } from './errorHandler';
 import * as wordComplition from './wordCompletion'
 import * as path from 'path';
-import * as URL from 'url'
-//import * as uri2path from 'file-uri-to-path'
-
 
 
 // Create a connection for the server. The connection uses Node's IPC as a transport.