On Wed, 17 Sep 2003, Daniel Vainsencher wrote:

> BTW, I've just upgraded from 13 to 9. Can Colin and you, for my sanity,
> please keep the versions (at least in SM) monotonously rising?

We have been.  Current SM version is 13.  I believe 9 was the previous SM
version.  Perhaps you had an old image that you hadn't updated the map in?