Tweaks to the introduction