update wangdi-en.tex