Minor writeup revisions