docs: small edits to catchup to edits made in html pushed live

Change-Id: I62b3e7dc5fcab881dd09ca897b05425a8c28cb92
1 file changed