diff --git a/hosts/kim/default.nix b/hosts/kim/default.nix
index 35517d6..dc4dae3 100644
--- a/hosts/kim/default.nix
+++ b/hosts/kim/default.nix
@@ -46,8 +46,8 @@ inputs.nixpkgs.lib.nixosSystem {
 
       networking.useDHCP = nixpkgs.lib.mkDefault true;
 
-      nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
-      hardware.cpu.amd.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
+      nixpkgs.hostPlatform = nixpkgs.lib.mkDefault "x86_64-linux";
+      hardware.cpu.amd.updateMicrocode = nixpkgs.lib.mkDefault config.hardware.enableRedistributableFirmware;
 
       # TODO: identityFile = "/home/${globals.user}/.ssh/id_ed2519";
       # TODO: passwordHash = nixpkgs.lib.fileContents ../../password.sha512;