Encode to utf-8 when printing