[temp.explicit, temp.expl.spec] Fix examples.