More minor updates to the article.