Ah yes, you're right and I had it that way in an earlier commit, must've overwritten it with a paste since it uses the symbol in the current version in master. I'll fix that real quick.