[2013.10.md] Fix left-in mistake.