diff --git a/Lattice/Builder.agda b/Lattice/Builder.agda
index 39ea18e..fc4b450 100644
--- a/Lattice/Builder.agda
+++ b/Lattice/Builder.agda
@@ -371,8 +371,8 @@ record Graph : Set where
     Has-⊤ : Set
     Has-⊤ = Any Is-⊤ (proj₁ nodes)
 
-    Has-T? : Dec Has-⊤
-    Has-T? = findUniversal (proj₁ nodes) PathExists?
+    Has-⊤? : Dec Has-⊤
+    Has-⊤? = findUniversal (proj₁ nodes) PathExists?
 
     Has-⊥ : Set
     Has-⊥ = Any Is-⊥ (proj₁ nodes)