I do not think so. It protects against expansion of the macro in .toc files not suppression.Is that the right thing to do? Won't that mean that the label effectively appears in several places?We should \protect labels in moving arguments, I think it is not done yet (for no particular reason).
JMarc
