minor typos, tweaks