Writeup tweaks