extra assertion to catch error