Minor tweaks to text and references