diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fee3273a300..74913c19e29 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2013-11-23  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* cilk-common.c (expand_builtin_cilk_detach): Dereference worker.
+
 2013-11-23  David Edelson  <dje.gcc@gmail.com>
 	    Andrew Dixie  <andrewd@gentrack.com>
 
diff --git a/gcc/cilk-common.c b/gcc/cilk-common.c
index 54096676343..52b37852273 100644
--- a/gcc/cilk-common.c
+++ b/gcc/cilk-common.c
@@ -328,7 +328,7 @@ expand_builtin_cilk_detach (tree exp)
 
   tree parent = cilk_dot (fptr, CILK_TI_FRAME_PARENT, 0);
   tree worker = cilk_dot (fptr, CILK_TI_FRAME_WORKER, 0);
-  tree tail = cilk_dot (worker, CILK_TI_WORKER_TAIL, 1);
+  tree tail = cilk_arrow (worker, CILK_TI_WORKER_TAIL, 1);
 
   rtx wreg = expand_expr (worker, NULL_RTX, Pmode, EXPAND_NORMAL);
   if (GET_CODE (wreg) != REG)