diff --git a/docs/guide/connecting.rst b/docs/guide/connecting.rst
index 2ef1b35bc..e66fb938d 100644
--- a/docs/guide/connecting.rst
+++ b/docs/guide/connecting.rst
@@ -162,7 +162,7 @@ after :code:`fork()`.
 
 With the process-level clone APIs, users can create process-level snapshots
 for the verilated models. While the Verilator save/restore option provides
-persistent and circuit-independent snapshots, the process-level clone APIs
+persistent and circuit-dependent snapshots, the process-level clone APIs
 enable in-memory, circuit-transparent, and highly efficient snapshots.
 
 
diff --git a/docs/spelling.txt b/docs/spelling.txt
index 49a5ed3b1..e05450bce 100644
--- a/docs/spelling.txt
+++ b/docs/spelling.txt
@@ -654,6 +654,7 @@ ish
 isunbounded
 isunknown
 jobserver
+jwoutersymatra
 killua
 lang
 lcov
@@ -931,7 +932,9 @@ vc
 vcd
 vcddiff
 vcoverage
+vdhotre
 vec
+ventana
 ver
 verFiles
 verible