Minor updates to the introduction.