This corrects some errors in my previous post.