bugfix in timer class