some fixes in the intro