~ fix bugs in encoding