diff --git a/src/app.d.ts b/src/app.d.ts
index 699ebfc3c4bc74851e55aa83a6728385a158b2c3..e43679b4fa30253de17db5ceda2c63c25b9adfaa 100644
--- a/src/app.d.ts
+++ b/src/app.d.ts
@@ -1,17 +1,23 @@
 // See https://kit.svelte.dev/docs/types#app
 // for information about these interfaces
 // and what to do when importing types
-declare namespace App {
-  // interface Error {}
+// See https://kit.svelte.dev/docs/types#app
+// for information about these interfaces
+declare global {
+  namespace App {
+    // interface Error {}
 
-  type OpenIdConnectLocals =
-    import("$lib/server/openid_connect_handler").OpenIdConnectLocals
-  type UserLocals = import("$lib/server/user_handler").UserLocals
-  interface Locals extends UserLocals, OpenIdConnectLocals {
-    id_token?: string
-    user?: import("$lib/users").User
-  }
+    type OpenIdConnectLocals =
+      import("$lib/server/openid_connect_handler").OpenIdConnectLocals
+    type UserLocals = import("$lib/server/user_handler").UserLocals
+    interface Locals extends UserLocals, OpenIdConnectLocals {
+      id_token?: string
+      user_id?: string
+    }
 
-  // interface PageData {}
-  // interface Platform {}
+    // interface PageData {}
+    // interface Platform {}
+  }
 }
+
+export {}