Shouldn't this be `TKStateMachineDidTerminateNotification` ?