diff --git a/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs b/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs
index 61ae8f7b6c..9ed35142d5 100644
--- a/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs
+++ b/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs
@@ -923,6 +923,8 @@ goModule onlyTypes infoTable Internal.Module {..} =
           "let",
           "list",
           "nat",
+          "O",
+          "OO",
           "of",
           "option",
           "theory",