Assertion fixed