A few tweaks to the opening paragraph.