better docs on CustomizableMap.get