Fix a place where we need to specify the encoding.