fix some dev docs