minor typos and tweaks