Update assert.txt