removed some tex clutter