Some more small edits to Installation section of users guide