diff --git a/doc/guide.html b/doc/guide.html
index 4de41d29..fa01e668 100644
--- a/doc/guide.html
+++ b/doc/guide.html
@@ -195,7 +195,8 @@
that is automatically inserted into the file dde_apps/dde_init.js is fine.
However, in that file you may need to modify the ip_address and port number
of Dexter. The default ip_address is "192.168.1.142"
The port number
- is typically "50000"
.
+ is typically "50000"
. Be sure to (Eval)uate the file or restart DDE so
+ your changes will have effect.
Configure Dexter
@@ -2343,4 +2344,4 @@ Boot
latest Release Notes
and the Known Issues to help hone your
suggestions.
-
\ No newline at end of file
+