Fix a bug in TDMA manager