Update 2013-07-17-stubs.md