fix editing error in yaws.tex