Clean up batch_execute example a bit