cosmetic changes to Kolmogorov distributions and friends