diff --git a/demo/Demo.lean b/demo/Demo.lean
index cf8ec02..19206f7 100644
--- a/demo/Demo.lean
+++ b/demo/Demo.lean
@@ -2,9 +2,9 @@
 -- Import modules here that should be built as part of the library.
 import «Demo».Basic
 
-import Subverso.Examples
+import SubVerso.Examples
 
-open Subverso.Examples
+open SubVerso.Examples
 
 %example xdef
 def f (x : Nat) := %ex{add}{33 + %ex{X}{x}}