diff --git a/booster/library/Booster/Syntax/Json/Internalise.hs b/booster/library/Booster/Syntax/Json/Internalise.hs
index 5c375bb535..e5db8e344f 100644
--- a/booster/library/Booster/Syntax/Json/Internalise.hs
+++ b/booster/library/Booster/Syntax/Json/Internalise.hs
@@ -218,7 +218,7 @@ internalisePatternOrTopOrBottom allowAlias checkSubsorts sortVars definition exi
                 (term, preds, ceilConditions, subst, unknown) <-
                     internalisePattern allowAlias checkSubsorts sortVars definition p
                 pure $
-                    IsPattern $
+                    IsPattern
                         ( existentialVars
                         , Internal.Pattern{term, constraints = Set.fromList preds, ceilConditions}
                         , subst