Small fixes to the introduction.