You're right, I copied it from the JSON codec but ended up not using it. EDN is always UTF-8. I'll remove it.