2013-07-013: typos and link improvements