The statement Theorem 10.9 of Ax's 1972 result is missing the assumption that $X$ contains the identity. This assumption does hold when the theorem is applied.