A few fixes on the intro paragraph to Section V (this is a tiny commit :))