Bug related to jmp.