tsan: fix bug number in comment