Minor corrections to post.