修复《事务》章节伪代码的一个 bug