Modify section jumps for scala.