Minor change in Timer.