Update kolmogorov.R