diff --git a/static/start-interactive.js b/static/start-interactive.js
index b9ac4b0..d212418 100644
--- a/static/start-interactive.js
+++ b/static/start-interactive.js
@@ -27,8 +27,8 @@ function getQueryParam(name) {
 
 function makeWsUrl() {
   const proxyIp   = getQueryParam("ip");     // "10.0.0.42" if you came via /proxyAgent
-  const proxyPort = getQueryParam("port");   // "8080"
-  const usingProxy = proxyIp && proxyPort;   // truthy only in that case
+  const proxyPort = getQueryParam("port");
+  const usingProxy = proxyIp && proxyPort;   // true only in that case
 
   if (usingProxy) {
     // Build ws(s)://<main-server>/proxyAgent/terminal?ip=…&port=…