minor changes to timer example