correct an assert