diff --git a/rs/src/output/type_system/meta/function.rs b/rs/src/output/type_system/meta/function.rs
index 3c9b3865..9107b7e2 100644
--- a/rs/src/output/type_system/meta/function.rs
+++ b/rs/src/output/type_system/meta/function.rs
@@ -30,7 +30,7 @@ pub enum Function {
     Add,
 
     /// Integer subtraction: `subtract(metaint, metaint) -> metaint`
-    Substract,
+    Subtract,
 
     /// Integer product: `multiply(metaint*) -> metaint`
     Multiply,
@@ -84,7 +84,7 @@ impl Describe for Function {
             Function::Or => write!(f, "or"),
             Function::Negate => write!(f, "negate"),
             Function::Add => write!(f, "add"),
-            Function::Substract => write!(f, "subtract"),
+            Function::Subtract => write!(f, "subtract"),
             Function::Multiply => write!(f, "multiply"),
             Function::Divide => write!(f, "divide"),
             Function::Min => write!(f, "min"),
@@ -195,7 +195,7 @@ impl Function {
                 }
                 Ok(accumulator.into())
             }
-            Function::Substract => {
+            Function::Subtract => {
                 if args.len() != 2 {
                     Err(cause!(
                         DerivationInvalid,