It doesn't matter at this late date. Its like the .45 Colt vs .45 Long Colt debate. If I say Garand, or .45 Long Colt, most everyone knows what I'm referring too and only a few will quibble about the accuracy and authenticity of it.
"I like Garands you load 'em with those springy do-jiggers." "I wish it used clips like muh .45"
Don't waste time correcting this guy, cause wasting time and/or breath is all you're doing.