Assertion corrected.