diff --git a/code/portal_highlighter.js b/code/portal_highlighter.js
index 7d79343e..e36274d9 100644
--- a/code/portal_highlighter.js
+++ b/code/portal_highlighter.js
@@ -26,7 +26,9 @@ window.portalHighlighterControl = function() {
}
$("#portal_highlight_select").html('');
$("#portal_highlight_select").append($("