Two typo fixes in 2012-07-18-1.html.