diff --git a/nixos/modules/hardware/sensor/iio.nix b/nixos/modules/hardware/sensor/iio.nix
index 8b3ba87a7d9c..fbdc929390f2 100644
--- a/nixos/modules/hardware/sensor/iio.nix
+++ b/nixos/modules/hardware/sensor/iio.nix
@@ -1,20 +1,17 @@
 { config, lib, pkgs, ... }:
-
-with lib;
-
 {
   ###### interface
 
   options = {
     hardware.sensor.iio = {
-      enable = mkOption {
+      enable = lib.mkOption {
         description = ''
           Enable this option to support IIO sensors with iio-sensor-proxy.
 
           IIO sensors are used for orientation and ambient light
           sensors on some mobile devices.
         '';
-        type = types.bool;
+        type = lib.types.bool;
         default = false;
       };
     };
@@ -22,7 +19,7 @@ with lib;
 
   ###### implementation
 
-  config = mkIf config.hardware.sensor.iio.enable {
+  config = lib.mkIf config.hardware.sensor.iio.enable {
 
     boot.initrd.availableKernelModules = [ "hid-sensor-hub" ];