tsan: fix double semicolon ;;