Minor tweaks as I read through the intro