diff --git a/newt-vscode/package.json b/newt-vscode/package.json
index 0f345a4..48daae2 100644
--- a/newt-vscode/package.json
+++ b/newt-vscode/package.json
@@ -54,7 +54,18 @@
         "command": "newt-vscode.check",
         "title": "Check newt file"
       }
-    ]
+    ],
+    "configuration": {
+      "type": "object",
+      "title": "Newt Configuration",
+      "properties": {
+        "newt.path": {
+          "type": "string",
+          "default": "build/exec/newt",
+          "description": "Path to the newt executable"
+        }
+      }
+    }
   },
   "scripts": {
     "vscode:prepublish": "npm run package",
diff --git a/newt/Prelude.newt b/newt/Prelude.newt
index e1c4b2c..7b5b528 100644
--- a/newt/Prelude.newt
+++ b/newt/Prelude.newt
@@ -804,7 +804,7 @@ snoc : ∀ a. List a → a → List a
 snoc xs x = xs ++ (x :: Nil)
 
 instance ∀ a b. {{Show a}} {{Show b}} → Show (a × b) where
-  show (a,b) = "(" ++ show a ++ "," ++ show b ++ ")"
+  show (a,b) = "(" ++ show a ++ ", " ++ show b ++ ")"
 
 instance ∀ a. {{Show a}} → Show (List a) where
   show xs = joinBy ", " $ map show xs