Minor refreshment of my old extension method library