Improving the Probabilistic Clock Synchronization Algorithm