Minor fixes in intro.