\@currentlabel no longer protected