It came out right for the Romans; Oct-Dec were their 8-10th months, and then when they shuffled the months around no one bothered to change the names. Probably just as well. Trying to change the names of the months didn’t work out very well for Robespierre!