diff --git a/Projects/MathlibDemo/MathlibDemo/Logic.lean b/Projects/MathlibDemo/MathlibDemo/Logic.lean
index ddcfe43f..7d4f60e8 100644
--- a/Projects/MathlibDemo/MathlibDemo/Logic.lean
+++ b/Projects/MathlibDemo/MathlibDemo/Logic.lean
@@ -1,4 +1,4 @@
-import Mathlib.Logic.Basic -- basic facts in logic
+import Mathlib.Basic.Logic.Basic -- basic facts in logic
 -- theorems in Lean's mathematics library
 
 -- Let P and Q be true-false statements
diff --git a/Projects/MathlibDemo/lake-manifest.json b/Projects/MathlibDemo/lake-manifest.json
index 87cef242..251d0d08 100644
--- a/Projects/MathlibDemo/lake-manifest.json
+++ b/Projects/MathlibDemo/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "0cd048027c8b0239cdfe206691bbf2c0a0970078",
+   "rev": "3a8a89422e16d67b7ae57698f6d96e389e4d4202",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d54dddc581e08be364c278052863524bff7a99a9",
+   "rev": "7e23602c91bc04586b2b06de2708a041853e4681",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/cypress/e2e/spec.cy.ts b/cypress/e2e/spec.cy.ts
index 9c36a9f9..2d37c86c 100644
--- a/cypress/e2e/spec.cy.ts
+++ b/cypress/e2e/spec.cy.ts
@@ -63,7 +63,7 @@ describe('The Editor', () => {
     cy.contains('.dropdown .dropdown', 'Examples').click()
     cy.contains('.nav-link', 'Logic').click()
     cy.containsAll([
-      'import Mathlib.Logic.Basic',
+      'import Mathlib.Basic.Logic.Basic',
       'variable (P Q : Prop)',
     ]).should('exist')
   })
@@ -73,7 +73,7 @@ describe('The Editor', () => {
     cy.contains('.nav-link', 'Examples').click()
     cy.contains('.nav-link', 'Logic').click()
     cy.containsAll([
-      'import Mathlib.Logic.Basic',
+      'import Mathlib.Basic.Logic.Basic',
       'variable (P Q : Prop)',
     ]).should('exist')
   })
@@ -209,7 +209,7 @@ describe('The Editor', () => {
     cy.on('window:confirm', alertShown)
     cy.visit('/')
     cy.get('div.view-line').type(
-      'import Mathlib.Logic.Basic #check Classical.em',
+      'import Mathlib.Basic.Logic.Basic #check Classical.em',
     )
     cy.get('.squiggly-info')
 
@@ -226,7 +226,7 @@ describe('The Editor', () => {
       )
 
     // Click on import
-    cy.contains('div.view-line span', 'Mathlib.Logic.Basic').realClick({
+    cy.contains('div.view-line span', 'Mathlib.Basic.Logic.Basic').realClick({
       ctrlKey: !isOnDarwin,
       metaKey: isOnDarwin,
     })