fix: wrong calculation of latest definite time for P of until