diff --git a/nixos/modules/system/boot/loader/efi.nix b/nixos/modules/system/boot/loader/efi.nix
index 6043c904c450..2725d3678d52 100644
--- a/nixos/modules/system/boot/loader/efi.nix
+++ b/nixos/modules/system/boot/loader/efi.nix
@@ -1,19 +1,16 @@
 { lib, ... }:
-
-with lib;
-
 {
   options.boot.loader.efi = {
 
-    canTouchEfiVariables = mkOption {
+    canTouchEfiVariables = lib.mkOption {
       default = false;
-      type = types.bool;
+      type = lib.types.bool;
       description = "Whether the installation process is allowed to modify EFI boot variables.";
     };
 
-    efiSysMountPoint = mkOption {
+    efiSysMountPoint = lib.mkOption {
       default = "/boot";
-      type = types.str;
+      type = lib.types.str;
       description = "Where the EFI System Partition is mounted.";
     };
   };