removed unnecessary lines in prelude.tex