Fix bugs in install docs