Fix a mistake in the last change I made to ProcessMachCore.cpp.
<rdar://problem/15745397>