added timings to tex