Bug found in counting number of CPUs