Fixed bug in the number of processors to be used.