Fixing jump bugs