[temp.expl.spec] Correct underlying type in example