Some style tweaks, and a new article.