fixed encoding in juvencus