We correct an error in the functoriality of the
R
a
l
g
\mathbb {R}_\mathrm {alg}
-definable structures on arithmetic quotients
Γ
∖
G
/
M
\Gamma \backslash G/M
constructed in [B. Bakker, B. Klingler, and J. Tsimerman, Tame topology of arithmetic quotients and algebraicity of Hodge loci, J. Amer. Math. Soc. 33 (2020), no. 4, 917-939]. The statements for Hodge manifolds and period maps are unaffected.