diff --git a/dejafu/Test/DejaFu/Conc/Internal.hs b/dejafu/Test/DejaFu/Conc/Internal.hs
index 4331d65..ba325ec 100755
--- a/dejafu/Test/DejaFu/Conc/Internal.hs
+++ b/dejafu/Test/DejaFu/Conc/Internal.hs
@@ -196,7 +196,7 @@ stepThread sched memtype tid action ctx = case action of
     -- check if the current thread is bound
     AIsBound c ->
       let isBound = isJust (_bound =<< M.lookup tid (cThreads ctx))
-      in simple (goto (c isBound) tid (cThreads ctx)) IsCurrentThreadBound
+      in simple (goto (c isBound) tid (cThreads ctx)) (IsCurrentThreadBound isBound)
 
     -- get the 'ThreadId' of the current thread
     AMyTId c -> simple (goto (c tid) tid (cThreads ctx)) MyThreadId
diff --git a/dejafu/Test/DejaFu/Internal.hs b/dejafu/Test/DejaFu/Internal.hs
index d113dfb..a9ed2bc 100644
--- a/dejafu/Test/DejaFu/Internal.hs
+++ b/dejafu/Test/DejaFu/Internal.hs
@@ -127,7 +127,7 @@ tvarsRead act = S.fromList $ case act of
 rewind :: ThreadAction -> Maybe Lookahead
 rewind (Fork _) = Just WillFork
 rewind (ForkOS _) = Just WillForkOS
-rewind IsCurrentThreadBound = Just WillIsCurrentThreadBound
+rewind (IsCurrentThreadBound _) = Just WillIsCurrentThreadBound
 rewind MyThreadId = Just WillMyThreadId
 rewind (GetNumCapabilities _) = Just WillGetNumCapabilities
 rewind (SetNumCapabilities i) = Just (WillSetNumCapabilities i)
diff --git a/dejafu/Test/DejaFu/Types.hs b/dejafu/Test/DejaFu/Types.hs
index f8f8ca2..9896fe3 100644
--- a/dejafu/Test/DejaFu/Types.hs
+++ b/dejafu/Test/DejaFu/Types.hs
@@ -91,7 +91,7 @@ data ThreadAction =
   -- ^ Start a new thread.
   | ForkOS ThreadId
   -- ^ Start a new bound thread.
-  | IsCurrentThreadBound
+  | IsCurrentThreadBound Bool
   -- ^ Check if the current thread is bound.
   | MyThreadId
   -- ^ Get the 'ThreadId' of the current thread.