Yeah, I think the real mistake was when everyone decided to use UTC instead of TAI. I can't actually hold the astronomers to blame for this. More likely it was telephone network engineers or someone at a stock exchange.