Minor writeup additions.