minor fixes and typos