There is no such thing as a double die.. The correct numismatic terminology is Doubled Die. Big difference.
He’s technically correct. Similar to how most inaccurately say penny as opposed to cent, doubled die is the correct term.