Revised installation docs