Fix bug: batchlet example