even more minor editorial fix-up