diff --git a/embedding/theories/Misc.v b/embedding/theories/Misc.v
index e9f436b8..16e655a2 100644
--- a/embedding/theories/Misc.v
+++ b/embedding/theories/Misc.v
@@ -1,6 +1,6 @@
 (** * Some facts not found in the standard library *)
 From ConCert.Utils Require Import Automation.
-From MetaCoq Require Import utils.
+From MetaCoq.Utils Require Import utils.
 From Coq Require Import List.
 From Coq Require Import Lia.