It is in a comment block. I didn't know if you wanted to delete the block, but it didn't seem worth it to make a label that would never be used.