Right, that was before Trump reportedly “officially” called early this evening, offered it to Pence, and had it accepted.
http://www.breitbart.com/2016-presidential-race/2016/07/14/trump-campaign-denies-reports-mike-pence-tapped-vp/