Specverify changes done