fix installation docs.