Doc fix for silly mistake in 495c70c