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.