Really minor edit.