diff --git a/crates/aiken-lang/src/builtins.rs b/crates/aiken-lang/src/builtins.rs
index b35f6628..fbdd81e6 100644
--- a/crates/aiken-lang/src/builtins.rs
+++ b/crates/aiken-lang/src/builtins.rs
@@ -128,7 +128,7 @@ pub fn prelude(id_gen: &IdGenerator) -> TypeInfo {
         G1_ELEMENT.to_string(),
         TypeConstructor {
             parameters: vec![],
-            tipo: int(),
+            tipo: g1_element(),
             location: Span::empty(),
             module: "".to_string(),
             public: true,
@@ -140,7 +140,7 @@ pub fn prelude(id_gen: &IdGenerator) -> TypeInfo {
         G2_ELEMENT.to_string(),
         TypeConstructor {
             parameters: vec![],
-            tipo: int(),
+            tipo: g2_element(),
             location: Span::empty(),
             module: "".to_string(),
             public: true,