The fundamental group of affine curves in positive characteristic

It is shown that the commutator subgroup of the fundamental group of a smooth irreducible affine curve over an uncountable algebraically closed field k of positive characteristic is a profinite free group of rank equal to the cardinality of k.