Fixing wrong 'jmp short' execution