Fix mistake in TimerExample.