update mini_batches to use form4s