minor typos and tweaking readability