Fix a typo that made ImmutableMap::getMaxElement() useless.