fix some mistakes: