corrects a few small bugs and typos