help fix distributed clock problems