diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index 92640b2d9..7cda4bf83 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -1237,6 +1237,7 @@ class BoolSortRef(SortRef):
     def is_bool(self):
 	return True
 
+
 class BoolRef(ExprRef):
     """All Boolean expressions are instances of this class."""
     def sort(self):