wrong argument to brisk_cds_execute fixed