Some more fixes to Installation section of Users Guide