Update, the next day I saw the changed version reflected in the download file name. So I guess there is a delay in the system recording the change. So maybe this is not a bug at all.

I can't reproduce in the latest v10.
If it showed as edited when you came back in to the edit form a 2nd time, it would have been saved.
I suspect this was just a browser caching issue.