Fix install documentation

Change-Id: Iae8e327603ce030ec36378dd525017dec9e15ba8