Chunk server: eliminate possible lint warnings.