Minor wording, formatting tweaks