To save me time and work and due to general laziness, can you clarify which clock type you are referring to. They are mostly the same I suppose, but they are definitely not all the same, and it’s been shown recently that different considerations apply to different clock types.
We’re waiting for the fix for that one to get deployed ( @anoek 
) … while we wait we could explore more changes…