fix some minor problems