Ah, sorry, misread your comment. Yes, we definitely should encode them. Will fix.