Small fixes to Installation Guide section

Change-Id: I81ddba1d44092853e81cdea75470bb1bdfce115c