Minor improvements to the introduction