diff --git a/libstdc++-v3/docs/html/18_support/howto.html b/libstdc++-v3/docs/html/18_support/howto.html
index 7b1dcb80761..c6faf5e98f2 100644
--- a/libstdc++-v3/docs/html/18_support/howto.html
+++ b/libstdc++-v3/docs/html/18_support/howto.html
@@ -229,6 +229,7 @@
    {
        std::set_terminate(__gnu_cxx::__verbose_terminate_handler);
        ...
+
        throw <em>anything</em>;
    }</pre>
    <p>The <code> __verbose_terminate_handler </code> function obtains the name