Minor corrections to install doc.