diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html
index 78108fb..8a195f0 100644
--- a/docs/ReleaseNotes.html
+++ b/docs/ReleaseNotes.html
@@ -170,11 +170,14 @@
 
   </li>
 
-  <li>Clang's <tt>-fcatch-undefined-behavior</tt> option has grown the ability
-  to check for several new types of undefined behavior.
+  <li>Clang's <tt>-fcatch-undefined-behavior</tt> option has been renamed to
+  <tt>-fsanitize=undefined</tt> and has grown the ability to check for several
+  new types of undefined behavior. See the Users Manual for more information.
 
   <!-- Flesh this out prior to release. -->
 
+  <!-- Document renaming of -faddress-sanitizer and -fthread-sanitizer. -->
+
   </li>
 
 </ul>