Should we specify the encoding?