diff --git a/stdlib/ieee_float.mlw b/stdlib/ieee_float.mlw
index 60ec7d5e36b65cfc92f807fc28fb47efbb85c673..27a4306f4db64cfe9de43b1a58b50119395b7d37 100644
--- a/stdlib/ieee_float.mlw
+++ b/stdlib/ieee_float.mlw
@@ -26,7 +26,7 @@ module RoundingMode
      <li>RTP : Round Towards Positive
      <li>RTN : Round Towards Negative
      <li>RTZ : Round Towards Zero
-     </ul} *)
+     </ul>} *)
 
   predicate to_nearest (m:mode) = m = RNE \/ m = RNA
 end