Update jump.h