fix a couple of small errors