edits to install doc, more final formatting