Fix typo in 2014-02-06-overdesign.