Minor fixes to examples in writeup