Fix minor mistake in jump's doc