CNBC reports that the SEC has in fact extended the ban on short-selling, to not later than October 17, as was rumored earlier today.