Minor tweaks and typos
Minor tweaks and typos