fix the derp formatting on batch.c