ProcessManager: trivial bugfix in stop()