diff --git a/src/api/python/z3printer.py b/src/api/python/z3printer.py
index 24d0359c9..1561e6667 100644
--- a/src/api/python/z3printer.py
+++ b/src/api/python/z3printer.py
@@ -571,7 +571,7 @@ class Formatter:
         return to_format(a.as_decimal(self.precision))
 
     def pp_string(self, a):
-	return to_format(a.as_string())
+        return to_format(a.as_string())
 
     def pp_bv(self, a):
         return to_format(a.as_string())
@@ -878,8 +878,8 @@ class Formatter:
             return self.pp_fp_value(a)
         elif z3.is_fp(a):
             return self.pp_fp(a, d, xs)
-	elif z3.is_string_value(a):
-	    return self.pp_string(a)	
+        elif z3.is_string_value(a):
+            return self.pp_string(a)
         elif z3.is_const(a):
             return self.pp_const(a)
         else: