diff --git a/modules/ui/options.js b/modules/ui/options.js
index 9d43ff1a2..00797a849 100644
--- a/modules/ui/options.js
+++ b/modules/ui/options.js
@@ -509,7 +509,7 @@ document.getElementById("mapToLoad").addEventListener("change", function() {
 
 // View mode
 viewMode.addEventListener("click", changeViewMode);
-function changeViewMode() {
+function changeViewMode(event) {
   const button = event.target;
   if (button.tagName !== "BUTTON") return;
   const pressed = button.classList.contains("pressed");