Fix some docs issues introduced by #1981 (#1987)

2 files changed, 3 insertions, 3 deletions

diff --git a/doc/about.rst b/doc/about.rst
index c620efad3..4dfa78e06 100644
--- a/doc/about.rst
+++ b/doc/about.rst
@@ -42,7 +42,7 @@ At the same time, like a design written in another `HDL`, a set of VHDL sources
 :dfn:`synthesis tool` into a netlist, that is, a detailed gate-level implementation.
 
 The development of VHDL started in 1983 and the standard is named `IEEE <https://www.ieee.org/>`__ `1076`.
-Six revisions exist:
+Five revisions exist:
 `1987 <http://ieeexplore.ieee.org/document/26487/>`__,
 `1993 <http://ieeexplore.ieee.org/document/392561/>`__,
 `2002 <http://ieeexplore.ieee.org/document/1003477/>`__,
diff --git a/doc/using/ImplementationOfVHDL.rst b/doc/using/ImplementationOfVHDL.rst
index c0a39c276..39597bf21 100644
--- a/doc/using/ImplementationOfVHDL.rst
+++ b/doc/using/ImplementationOfVHDL.rst
@@ -183,7 +183,7 @@ GHDL understands embedded PSL annotations in VHDL files:
        ghdl -e vhdl_design
 
 PSL annotations (VHDL-2008 and later)
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 Since VHDL-2008 PSL is integrated in the VHDL language. You can use
 PSL in a VHDL(-2008) design without embedding it in comments.
@@ -205,7 +205,7 @@ PSL in a VHDL(-2008) design without embedding it in comments.
        ghdl -e --std=08 vhdl_design
 
 PSL vunit files (VHDL-2008 and later, synthesis only)
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 GHDL supports vunit (Verification Unit) files.