diff --git a/docs/source/cell/word_formal.rst b/docs/source/cell/word_formal.rst
index 8c52422a8..df78eb0b2 100644
--- a/docs/source/cell/word_formal.rst
+++ b/docs/source/cell/word_formal.rst
@@ -5,7 +5,7 @@ Formal verification cells
 
    If only I remembered what the note was...
 
-.. TODO:: Describe formal cells
+.. todo:: Describe formal cells
 
    `$check`, `$assert`, `$assume`, `$live`, `$fair`, `$cover`, `$equiv`,
    `$initstate`, `$anyconst`, `$anyseq`, `$anyinit`, `$allconst`, and `$allseq`.
diff --git a/docs/source/cell/word_fsm.rst b/docs/source/cell/word_fsm.rst
index 943904b2b..e6301bf3b 100644
--- a/docs/source/cell/word_fsm.rst
+++ b/docs/source/cell/word_fsm.rst
@@ -1,7 +1,7 @@
 Finite state machines
 ---------------------
 
-.. TODO:: Describe `$fsm` cell
+.. todo:: Describe `$fsm` cell
 
 .. autocellgroup:: fsm
    :members:
diff --git a/docs/source/cell/word_spec.rst b/docs/source/cell/word_spec.rst
index 33ef40774..b5ce967d0 100644
--- a/docs/source/cell/word_spec.rst
+++ b/docs/source/cell/word_spec.rst
@@ -1,7 +1,7 @@
 Specify rules
 -------------
 
-.. TODO:: `$specify2`, `$specify3`, and `$specrule` cells.
+.. todo:: `$specify2`, `$specify3`, and `$specrule` cells.
 
 .. autocellgroup:: spec
    :members: