Minor textual fix.