diff --git a/README.md b/README.md
index d676b759..fc0f2f03 100644
--- a/README.md
+++ b/README.md
@@ -111,7 +111,7 @@ equivalence eqv/q :
     rw [← exp_add]
 
 #print q
--- def q : Minimization (ℝ × ℝ) Real :=
+-- def q : Minimization (ℝ × ℝ) ℝ :=
 -- optimization (x : ℝ) (y : ℝ) 
 --   maximize x + y
 --   subject to