with thanks for the tip to W.T.A. Cameron