Minor fixes to text pasted from other projects.