fix typos in 2013-07-06