Small edits to installation docs.