Fix debug output for clock sync code