add missing assertions