#master: extra assertion