Added extra assertion