fix typo in binary encoding