small bugfix in timejs