small bugfix regarding producing into different encodings