Fixed typo in tcb.h