1 files changed, 1 insertions, 1 deletions

diff --git a/bragi.nix b/bragi.nix
index afa96e5b..53a14c13 100644
--- a/bragi.nix
+++ b/bragi.nix
@@ -121,7 +121,7 @@ in rec {
     ];
 
     extraConfig = ''
-      option subnet-mask 255.255.225.0
+      option subnet-mask 255.255.225.0;
       option domain-name-servers 10.141.1.1, 8.8.8.8, 8.8.4.4;
       option domain-name "bragisheimr.yggdrasil";
       option routers 10.141.4.1;