Fix 2013-09-16-three-most-useful-ise-tricks.md.