Adds option to change the label of a tag

Currently you have to explicitly use the proof option to make this work.