Some editorial fix