tsan: fix code formatting