From 1f84e991a5dad9a78eec4d9315207119a1b62bcc Mon Sep 17 00:00:00 2001
From: Greg Alexander <gitgreg@galexander.org>
Date: Wed, 16 May 2018 16:48:09 -0400
Subject: [PATCH] minor doc cleanup

---
 doc/index.html | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/doc/index.html b/doc/index.html
index 2f880e9..285c3d7 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -117,9 +117,10 @@ commandline.</dd>
 
 <dt>Environment Variables</dt>
 <dd>You can specify environment variables to define before executing the
-shell.  There is one variable per line, with a "name=value" format.
-A common use would be "ENV=/sdcard/ssh/.profile", if your device has a
-build of <tt>mksh</tt> that does not execute a .profile
+shell.  There is one variable per line, with a
+"<em>name</em><tt>=</tt><em>value</em>" format.
+A common use would be "<tt>ENV=/sdcard/ssh/.profile</tt>", if your device has a
+build of <tt>mksh</tt> that does not execute a <tt>.profile</tt>
 automatically.</dd>
 
 
@@ -158,7 +159,7 @@ harmless.
 <ul>
 <li> <b>2018/05/16 Version 18:</b> Use correct idiom for <tt>su</tt> as a
 login shell (so busybox <tt>su</tt> can work).  Add environment variables
-to setting.
+to settings.
 <li> <b>2018/03/24 Version 17:</b> Add native x86 support.
 <li> <b>2017/10/28 Version 16:</b> Fix rsync on Android 8.0 (Oreo).
 <li> <b>2016/10/17 Version 15:</b> Fix crash on pre-Nougat versions of Android.