... and one more editorial fix that I forgot to save