Fix binary encoding requirement