Removes some unnecessary code from prelude-latex