Update wyx-en.tex