An improved evaluation of Kolmogorov's distribution