fix some dev guide issues