diff --git a/specs/synchronization/blocksync/quint/blocksync.qnt b/specs/synchronization/blocksync/quint/blocksync.qnt
index 57bb4e997..d4662ed06 100644
--- a/specs/synchronization/blocksync/quint/blocksync.qnt
+++ b/specs/synchronization/blocksync/quint/blocksync.qnt
@@ -6,7 +6,7 @@
 
 module blocksync {
 
-  import types.* from "../types"
+  import types.* from "./consensus/specs/types"
   export types.*
 
   type Option[a] =
diff --git a/specs/synchronization/blocksync/quint/bsyncWithConsensus.qnt b/specs/synchronization/blocksync/quint/bsyncWithConsensus.qnt
index 6261e1803..11c182d1c 100644
--- a/specs/synchronization/blocksync/quint/bsyncWithConsensus.qnt
+++ b/specs/synchronization/blocksync/quint/bsyncWithConsensus.qnt
@@ -17,7 +17,7 @@ module bsyncWithConsensus {
     Values = Set("red", "blue"),
     Rounds = Set(0, 1, 2, 3),
     Heights = Set(0) // , 1, 2, 3)
-  ).* from "../statemachineAsync"
+  ).* from "./consensus/specs/statemachineAsync"
 
   //
   // Properties
diff --git a/specs/synchronization/blocksync/quint/consensus b/specs/synchronization/blocksync/quint/consensus
new file mode 120000
index 000000000..d56ce1976
--- /dev/null
+++ b/specs/synchronization/blocksync/quint/consensus
@@ -0,0 +1 @@
+../../../../specs/quint
\ No newline at end of file