Text this: Generating repairs for inconsistent models.