Typos, tweaks.