Chunk server: fix formatting.