So what's the problem, exactly? 07 and 7 are the same color, and I think it's a good idea to put a ctrl+O on the end of the copied text.