The HashtreeSup has a startup time of infinity, while this is 5000. Shouldn't this be infinity as well then?