Bugfix in the detection of a process pid.
merge