BUG: fixes bad is_jmp_op