diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index 3f6dbd2e0..3f0518650 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -3206,7 +3206,7 @@ def Q(a, b, ctx=None):
     >>> Q(3,5).sort()
     Real
     """
-    return simplify(RatVal(a, b))
+    return simplify(RatVal(a, b, ctx=ctx))
 
 
 def Int(name, ctx=None):
@@ -10578,7 +10578,7 @@ class SeqSortRef(SortRef):
 
 class CharSortRef(SortRef):
     """Character sort."""
-    
+
 
 
 def StringSort(ctx=None):