Writeup: minor changes