Fix a typo from "是" to "时"
Merge pull request #36 from moroumo/master

修复第 13 章的一个错别字，感谢 @moroumo 的贡献。