diff --git a/paynt/quotient/pomdp.py b/paynt/quotient/pomdp.py
index 3179acf99..f0f9a29ae 100644
--- a/paynt/quotient/pomdp.py
+++ b/paynt/quotient/pomdp.py
@@ -215,7 +215,6 @@ def set_memory_from_result_new(self, obs_memory_dict, obs_memory_dict_cutoff, me
 
     
     def create_coloring(self):
-        logger.debug("creating coloring ...")
         if PomdpQuotient.posterior_aware:
             return self.create_coloring_aposteriori()
 
diff --git a/paynt/synthesizer/synthesizer.py b/paynt/synthesizer/synthesizer.py
index 9e459057e..88ad12db4 100644
--- a/paynt/synthesizer/synthesizer.py
+++ b/paynt/synthesizer/synthesizer.py
@@ -156,6 +156,6 @@ def synthesize(self, family=None, optimum_threshold=None, keep_optimum=False, re
     
     def run(self, optimum_threshold=None, export_evaluation=None):
         if isinstance(self.quotient, paynt.quotient.mdp_family.MdpFamilyQuotient):
-            self.evaluate(export_filename_base=export_evaluation)
+            return self.evaluate(export_filename_base=export_evaluation)
         else:
-            self.synthesize(optimum_threshold=optimum_threshold)
+            return self.synthesize(optimum_threshold=optimum_threshold)