Apply minor fixes to 2013-10-04 blog post