Sometimes there are issues with the server. Seems like they fix these issues with some kind of back up. The map pool seems to be part of the as well. As result sometimes we end up with the old map pool for that reason, until the discover it is the old map pool and update the map pool.
This already have happend multiple times in the last year.