Fixed formatting of serial_executor batching note