Minor textual edit.