Chunk server: eliminate lint warning.