corrections to annotations for tcb