diff --git a/machine/not522/hardware.nix b/machine/not522/hardware.nix
index 89346852..20dc04a5 100644
--- a/machine/not522/hardware.nix
+++ b/machine/not522/hardware.nix
@@ -10,7 +10,7 @@
   boot.loader.systemd-boot.extraInstallCommands = ''
     set -euo pipefail
     ${pkgs.coreutils}/bin/cp --no-preserve=mode -r ${config.hardware.deviceTree.package} ${config.boot.loader.efi.efiSysMountPoint}/
-    if [ -d ${config.boot.loader.efi.efiSysMountPoint} /loader/entries ]; then
+    if [[ -d ${config.boot.loader.efi.efiSysMountPoint}/loader/entries ]]; then
       for filename in ${config.boot.loader.efi.efiSysMountPoint}/loader/entries/nixos*-generation-[1-9]*.conf; do
         if ! ${pkgs.gnugrep}/bin/grep -q 'devicetree' $filename; then
           ${pkgs.coreutils}/bin/echo "devicetree /dtbs/${config.hardware.deviceTree.name}" >> $filename