Update: 语义上的修复，对程序执行没有影响

下个版本拟为最终版