Correct type for processor-count.