Small tweaks to the article