Fixed some typos in the Kolmogorov presentation.