added an assertion