Style tweaks, typos.