fix some latex stuff