looks like the character was pasted incorectly from the text