Int fallback restoration: Clarify the default name argument