Yet more writeup tweaking.