This is a minor cleanup - two of 5 extensions spelled out the extension
name twice, one as a case label and once as an array index.