diff --git a/Hardware/raspberry_pi_3_model_B.nix b/Hardware/raspberry_pi_3_model_B.nix
index 2ad6221..8deb5fa 100644
--- a/Hardware/raspberry_pi_3_model_B.nix
+++ b/Hardware/raspberry_pi_3_model_B.nix
@@ -28,8 +28,8 @@
         version = 3;
         uboot.enable = true;
         firmwareConfig = ''
-          "arm_64bit=1"            # Force kernel loading system to assume a 64-bit kernel
-          "hdmi_force_hotplug=1"   # Enable headless booting
+          arm_64bit=1            # Force kernel loading system to assume a 64-bit kernel
+          hdmi_force_hotplug=1   # Enable headless booting
         '';
       };
     };