Minor textual change.