and one more editorial fix