fixed bug in shortestclock from previously states