minor bugfix for tictoc