fix a few small errors