Document race condition in process killing