Davies, Not Davis

The name of my new team leader is Jeff Davies, not, as previously reported in this blog, Jeff Davis.  So, as far as I know, it's not a particularly historic name.  Yet.

My apologies to Mr. Davies.