remove unicode character

(sorry, no idea how this happened...)