fixed stuff in set_jnz()