minor editorial fix