Mon, 20 Jul 2009 10:57:11 +0200 greg fix error in timer.c