Fixed documentation of TKStateMachineTerminatedError