Chunk server: minor formatting fix.