added extra assertion