and de-virtual JumpToMark because no-one seems to be overriding it.

Change-Id: I35cf856d817f2685463ae5ef9f2ebc00e515fe3d