another tiny change to the DaphniaJump issue