fix problem with assertion testing