发现一个小小笔误，这里是不是把雷的名字误写成程了？