diff --git a/src/Copar/Functors/GroupValued.hs b/src/Copar/Functors/GroupValued.hs
index e75ab2446f9ccc9b5a024be4c1e01e02a75a64f2..87b647b3db7653617c9b853a954f774207d54a0f 100644
--- a/src/Copar/Functors/GroupValued.hs
+++ b/src/Copar/Functors/GroupValued.hs
@@ -106,8 +106,8 @@ rationalHelp =
<> Doc.annotate Doc.bold "Coalgebra syntax:"
<+> Doc.reflow "'{' X ':' rational, ... '}'"
<> Doc.line
- <> Doc.reflow " Note that rationals currently have the same syntax as reals \
- \and proper fractions are not supported."
+ <> Doc.reflow "where 'rational' is either an integer or of the form a/b, \
+ \where a and b are integers."
newtype OrderedComplex = OrderedComplex (Complex EqDouble)
deriving (Eq, Num, NFData, Show)