diff --git a/paynt/quotient/quotient.py b/paynt/quotient/quotient.py
index fec1435d2..481134e03 100644
--- a/paynt/quotient/quotient.py
+++ b/paynt/quotient/quotient.py
@@ -44,7 +44,7 @@ def __init__(self, quotient_mdp = None, family = None, coloring = None, specific
 
         # for each choice of the quotient, a list of its state-destinations
         self.choice_destinations = None
-        if self.quotient_mdp is not None
+        if self.quotient_mdp is not None:
             self.choice_destinations = stormpy.synthesis.computeChoiceDestinations(self.quotient_mdp)
 
         if coloring is not None: