added an assert