Update 2013-07-10

See README.md.