Some more fixes in intro.rst