minor yaws.tex edits