I believe I fixed the bit-level encoding of the UJ-instruction form.