fix conclusion in 60000020.tex