Minor cleanups of intro