Fix usage in decode_binary.js