diff --git a/docs/UsersManual.rst b/docs/UsersManual.rst
index 22a42dc056ef1dc20f694839093c4ef979f17e19..4e716f575844147c0f41c4aa40b55621219f0937 100644
--- a/docs/UsersManual.rst
+++ b/docs/UsersManual.rst
@@ -809,22 +809,23 @@ are listed below.
    default. If a check fails, a diagnostic message is produced at
    runtime explaining the problem. The main checks are:
 
-   .. _opt_fsanitize_address:
+   -  .. _opt_fsanitize_address:
 
-   -  ``-fsanitize=address``:
+      ``-fsanitize=address``:
       :doc:`AddressSanitizer`, a memory error
       detector.
    -  ``-fsanitize=address-full``: AddressSanitizer with all the
       experimental features listed below.
    -  ``-fsanitize=integer``: Enables checks for undefined or
       suspicious integer behavior.
-   -  ``-fsanitize=thread``: :doc:`ThreadSanitizer`,
+   -  .. _opt_fsanitize_thread:
+
+      ``-fsanitize=thread``: :doc:`ThreadSanitizer`,
       an *experimental* data race detector. Not ready for widespread
       use.
+   -  .. _opt_fsanitize_undefined:
 
-   .. _opt_fsanitize_undefined:
-
-   -  ``-fsanitize=undefined``: Fast and compatible undefined behavior
+      ``-fsanitize=undefined``: Fast and compatible undefined behavior
       checker. Enables the undefined behavior checks that have small
       runtime cost and no impact on address space layout or ABI. This
       includes all of the checks listed below other than
@@ -893,7 +894,7 @@ are listed below.
    <opt_fsanitize_address>`.
 **-f[no-]thread-sanitizer**
    Deprecated synonym for :ref:`-f[no-]sanitize=thread
-   <opt_fsanitize_address>`.
+   <opt_fsanitize_thread>`.
 **-fcatch-undefined-behavior**
    Deprecated synonym for :ref:`-fsanitize=undefined
    <opt_fsanitize_undefined>`.