Tiny intro corrections