This assertion seems to be unnecessary