minor changes to install doc