True but most likely they were executed at some point during the trading day and would not have made a difference (I doubt they were executed at the close or near the close). Glad they didn't print right before the close. Anyway it is all good.