Wrong comparison of concurrent clock numbers