Tiny formatting change in intro paragraph