Editing: WorkerStopping.php