Some small things in intro.