Adds the encoding setting for #7