diff --git a/lib/Cryptol.cry b/lib/Cryptol.cry
index cbcb85b78..d0cb18951 100644
--- a/lib/Cryptol.cry
+++ b/lib/Cryptol.cry
@@ -201,8 +201,8 @@ primitive fromThenTo : {first, next, last, a, len}
 
 // Fractional Literals ---------------------
 
-/** 'FLiteral n d r a' asserts that the type `a' contains the
-fraction `n/d`.  The flag `r` indicates if we should round (`r >= 1`)
+/** 'FLiteral m n r a' asserts that the type `a' contains the
+fraction `m/n`.  The flag `r` indicates if we should round (`r >= 1`)
 or report an error if the number can't be represented exactly. */
 primitive type FLiteral : # -> # -> # -> * -> Prop