Fixed a small bug with the performance timer