fix typo for ext_timed_batch example