corrected a few small errors