Fixed bug related to tic/toc timing measurements