Index updated to reflect Mingledorff's