Minor nudges, fixes, and notes.