This patch corrects a small accounting problem where the measured time for a process was an integral rather than mean value.