diff --git a/synthesize.sage b/synthesize.sage
index 16bd60b49beca5246e56da231c2304ac8be8091f..db8b924a930f48ea112fff1a5c32fba9c69e64b5 100644
--- a/synthesize.sage
+++ b/synthesize.sage
@@ -212,7 +212,7 @@ def median(L):
         return None
 
 result_stats = {
-    "failures": lambda res: str(res["failures"]) if res["failures"] != 0 else "",
+    "failures": lambda res: "\\textbf{" + str(res["failures"]) + "}" if res["failures"] != 0 else "",
     "tottime": lambda res: time_format_2(res["overheadtime"]) if "overheadtime" in res else time_format_2(res["time"]),
     "meantime": lambda res: time_format(float(res["time"])/len(res["steplist"])),
     "totsteps": lambda res: steps_format(sum([int(p) for p in res["steplist"] if p is not None])),
@@ -231,7 +231,7 @@ result_stats = {
     "maxmeanprec": lambda res: steps_format(max([int(p) for p in res["meanpreclist"]])),
     "wmeanprec": lambda res: steps_format(numpy.mean([int(p) for p in res["weightedmeanpreclist"]])),
     "maxwmeanprec": lambda res: steps_format(max([int(p) for p in res["weightedmeanpreclist"]])),
-    "pathjump": lambda res: "{\\color{green} \\faCheck}" if "ncertified" in res and "failures" in res and int(res["ncertified"]) != len(res["steplist"]) - int(res["failures"]) else "{\\color{red} \\faTimes}"
+    "pathjump": lambda res: "\\faTimes" if "ncertified" in res and "failures" in res and int(res["ncertified"]) != len(res["steplist"]) - int(res["failures"]) else "",
 }