diff --git a/nixos/syndicate-server.nix b/nixos/syndicate-server.nix
index 51305e0..756f150 100644
--- a/nixos/syndicate-server.nix
+++ b/nixos/syndicate-server.nix
@@ -1,8 +1,7 @@
 { config, lib, pkgs, ... }:
-with lib;
 
 {
-  options.services.syndicate = mkOption {
+  options.services.syndicate = lib.mkOption {
     default = { };
     example = {
       tty1 = {
@@ -16,26 +15,26 @@ with lib;
       If the key is in the form of "tty''${N}" it will
       be attached to the appropriate teletypewriter.
     '';
-    type = types.attrsOf (types.submodule {
+    type = lib.types.attrsOf (lib.types.submodule {
       options = {
-        enable = mkEnableOption "this Syndicate dataspace server instance";
+        enable = lib.mkEnableOption "this Syndicate dataspace server instance";
 
-        user = mkOption {
-          type = types.str;
+        user = lib.mkOption {
+          type = lib.types.str;
           example = "jane";
           description = "User account under which the Syndicate server runs.";
         };
 
-        package = mkOption {
+        package = lib.mkOption {
           default = pkgs.syndicate-server;
           defaultText = "pkgs.syndicate-server";
-          type = types.package;
+          type = lib.types.package;
           description =
             "The package to use for the Syndicate dataspace server.";
         };
 
-        config = mkOption {
-          type = types.listOf types.path;
+        config = lib.mkOption {
+          type = lib.types.listOf lib.types.path;
           description = "Configurations to load.";
           example = [ "/etc/syndicate" ];
         };