Assertion corrected