Small additions to text and bib.