Update an assertion