Repair bug: No thunktimes in non-thunks anymore