fix some inconsequential errors