diff --git a/src/config.rs b/src/config.rs
index 4301fd3ae..e6824c920 100644
--- a/src/config.rs
+++ b/src/config.rs
@@ -3152,7 +3152,7 @@ pub mod keys {
         OPTION_DIRECT_SERVER,
         OPTION_DIRECT_ACCESS_PORT,
         OPTION_WHITELIST,
-        OPTION_ID_WHITELIST
+        OPTION_ID_WHITELIST,
         OPTION_ALLOW_AUTO_DISCONNECT,
         OPTION_AUTO_DISCONNECT_TIMEOUT,
         OPTION_ALLOW_ONLY_CONN_WINDOW_OPEN,