add extra assertion