Very minor edit.