The score happened with zero time left so any ruling came when the game was over anyway. So essentially they DID alter the score after the fact and they did so incorrectly so I don't think it would be out of the question to change it back but oh well I guess.