minor mods to writeup