Thanks for the correction, but what took so long?
I don’t know how I missed this thread when I wrote my article three years ago, but a reader recently sent me an email pointing to this link saying that it might be useful for some updates to my article.