Or maybe "did" should be changed to "have", and we'd all be fine...
The pedant, polemicist, anal retentive in me would argue that losing just two letters is more economical than scraping a whole word and then inserting a new one in its place but that's just me and my multiple personalities.