diff --git a/hosts/rico2/services/default.nix b/hosts/rico2/services/default.nix
index e151181..82db512 100644
--- a/hosts/rico2/services/default.nix
+++ b/hosts/rico2/services/default.nix
@@ -1,3 +1,3 @@
-{...}: {
-  imports = [./adtya.xyz.nix ./caddy.nix ./frpc.nix ./if3.nix ./ssh.nix];
+_: {
+  imports = [./adtya.xyz.nix ./caddy.nix ./frpc.nix ./if3.nix ./proofs.nix ./ssh.nix ./wiki.nix];
 }