small changes in abandoned.tex