I changed the character because I'm a dumbass who thought I was looking at a quotation mark.

I don't ever see double prime at my job, so it was probably muscle memory.