More improvements to the introduction