diff --git a/ChangeLog b/ChangeLog
index 74df4b44e866054698f74db7b2d45df0d1b25f8c..614b9b89fa080e506b1dba632542e060bd7e82e8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -5896,4 +5896,8 @@
 	  Mikrow STM32F4 board from Ken Pettit (2013-10-27).
 	* arch/arm/src/stm32/stm32_spi.c:  DMA-related fixe from Ken
 	  Pettit (2013-10-27).
+	* sched/sched_releasetcb.c: Fix a cornercase:  If sched_releasetcb()
+	  is called as part of a failed pthread startup before the flags
+	  field in the TCB has been initialized, then a crash occurs.
+	  Pointed out by David Sidrane (2013-10-27)
 
diff --git a/sched/sched_releasetcb.c b/sched/sched_releasetcb.c
index aefc5264de206179405e5b52b0bc03eb2ec7a1bc..b0605ef3bd455b0d9547f4ef75030ab80d28d3c8 100644
--- a/sched/sched_releasetcb.c
+++ b/sched/sched_releasetcb.c
@@ -168,7 +168,7 @@ int sched_releasetcb(FAR struct tcb_s *tcb, uint8_t ttype)
        */
 
 #ifndef CONFIG_DISABLE_PTHREAD
-      if ((tcb->flags & TCB_FLAG_TTYPE_MASK) != TCB_FLAG_TTYPE_PTHREAD)
+      if (ttype != TCB_FLAG_TTYPE_PTHREAD)
 #endif
         {
           FAR struct task_tcb_s *ttcb = (FAR struct task_tcb_s *)tcb;