fix ext_timed_batch example