fix some minor mistakes