Why are we using a unicode arrow in the first place? Also, these comments are completely worthless and should just be removed (not to mention they violate our coding standards). But that's out of scope for this PR.