diff --git a/src/value.rs b/src/value.rs
index 902edf10..5ad6bfb1 100644
--- a/src/value.rs
+++ b/src/value.rs
@@ -70,7 +70,7 @@ impl From<Symbol> for Value {
 impl From<bool> for Value {
     fn from(b: bool) -> Self {
         Self {
-            tag: Symbol::from("Bool"),
+            tag: Symbol::from("bool"),
             bits: b as u64,
         }
     }
diff --git a/tests/bool.egg b/tests/bool.egg
index 80b38e44..3bacfac9 100644
--- a/tests/bool.egg
+++ b/tests/bool.egg
@@ -20,4 +20,15 @@
 (check (= (bool->= 2 1) true))
 (check (= (bool->= 1 1) true))
 
+; Test bool's tag
+(relation R (i64))
+(function F (i64) bool)
 
+(rule
+    ((R i))
+    ((set (F i) true))
+)
+
+(R 0)
+
+(run 3)