removed some latex leftovers