Other small fixes to the intro