Cosmetic changes in the timer code.