Minor tweaks and typos